Tree testing - PDFSEARCH.IO - Document Search Engine

Tree testing
Results: 129

#	Item
21	2014 IEEE Security and Privacy Workshops Understanding Insider Threat: A Framework for Characterising Attacks Jason R.C. Nurse† , Oliver Buckley† , Philip A. Legg† , Michael Goldsmith† , Sadie Creese† , Gordon Add to Reading List Source URL: ieee-security.org Language: English - Date: 2014-04-30 03:10:27 Hacking Software testing Threat Abuse Vulnerability Attack tree Insider Motivation Computer network security Cyberwarfare Computer security
22	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science
23	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Direct Planar Tree Transformation and Counterexample Selim G Akl, Kamrul Islam, and Henk Meijer School of Computing, Queen’s University Kingston, Ontario, Canada K Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:04:12 Planar graphs Tree Pseudotriangle Graph Delaunay triangulation Petersen graph Planarity testing Graph theory Mathematics Triangulation
24	Stepwise Back-in-time Debugging Vasily Kirilicheva , Eric Secklera , Benjamin Siegmunda , Michael Perscheidb , and Robert Hirschfeldb Hasso Plattner Institute, University of Potsdam, Germany a {firstname.lastname}@studen Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:31 Computing Binary trees Program animation Software testing Debugger Splay tree Software bug Assertion Computer programming Software engineering Debugging
25	Generating Test Inputs for Fault-Tree Analyzers using Imperative Predicates Saˇsa Misailovi´c Aleksandar Mili´cevi´c University of Belgrade Belgrade, Serbia Add to Reading List Source URL: mir.cs.illinois.edu Language: English - Date: 2007-04-23 11:37:26 Fault tree analysis Korat Evaluation Risk Software Software testing Test Data Generation Test data
26	PDF Document Add to Reading List Source URL: www.savethefrogs.com Language: English - Date: 2013-07-04 14:40:51 Tree of life Batrachochytrium dendrobatidis Frogs Chytridiomycosis Amphibian Decline in amphibian populations Animal testing on frogs Biology Mycology Chytridiomycota
27	Synchronization of Operating Systems in Heterogeneous Testing Environments Add to Reading List Source URL: iffwww.iff.kfa-juelich.de Language: English - Date: 2013-03-25 07:32:18 Tree of life HIV Integrase Tat Rev Pol HIV/AIDS Biology Microbiology
28	FeLV and FIV Testing in an Animal Shelter ASV Position Statement The Association of Shelter Veterinarians (ASV), in keeping with the American Association of Feline Practitioners’ (AAFP) feline retrovirus management gui Add to Reading List Source URL: www.sheltermedicine.vet.cornell.edu Language: English - Date: 2012-09-19 13:53:24 Tree of life Feline immunodeficiency virus Feline leukemia virus Cat Retrovirus Feline vaccination Feline Infectious Anemia Animal virology Biology Medicine
29	2014 IEEE Security and Privacy Workshops Understanding Insider Threat: A Framework for Characterising Attacks Jason R.C. Nurse† , Oliver Buckley† , Philip A. Legg† , Michael Goldsmith† , Sadie Creese† , Gordon Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:32 Hacking Software testing Threat Abuse Vulnerability Attack tree Insider Motivation Computer network security Cyberwarfare Computer security
30	Monotonicity testing over general poset domains [Extended Abstract] Eldar Fischer Eric Lehman Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2004-02-03 12:29:43 Bipartite graph Tree decomposition Graph Aanderaa–Karp–Rosenberg conjecture Edge coloring Graph theory Mathematics Clique

UPDATE